Junttila, Tommi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Unrestricted vs restricted cut in a tableau method for Boolean circuits

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 453 KB

english, 2005

2

Limitations of restricted branching in clause learning

Matti Järvisalo, Tommi Junttila

Journal:

Year:

2009

Language:

english

File:

PDF, 880 KB

english, 2009

3

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 877 KB

english, 2005

4

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 1.84 MB

english, 2006

5

Exploiting step semantics for efficient bounded model checking of asynchronous systems

Jori Dubrovin, Tommi Junttila, Keijo Heljanko

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 945 KB

english, 2012

6

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Structure-aware computation of predicate abstraction

Cimatti, Alessandro, Dubrovin, Jori, Junttila, Tommi, Roveri, Marco

Year:

2009

Language:

english

File:

PDF, 210 KB

english, 2009

7

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Symbolic model checking of hierarchical UML state machines

Dubrovin, Jori, Junttila, Tommi

Year:

2008

Language:

english

File:

PDF, 399 KB

english, 2008

8

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - Equivalence Class Based Parity Reasoning with DPLL(XOR)

Laitinen, Tero, Junttila, Tommi, Niemela, Ilkka

Year:

2011

Language:

english

File:

PDF, 334 KB

english, 2011

9

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Bounded Model Checking of an MITL Fragment for Timed Automata

Kindermann, Roland, Junttila, Tommi, Niemela, Ilkka

Year:

2013

Language:

english

File:

PDF, 468 KB

english, 2013

10

[IEEE 2011 11th International Conference on Application of Concurrency to System Design (ACSD) - Newcastle Upon Tyne (2011.06.20-2011.06.24)] 2011 Eleventh International Conference on Application of Concurrency to System Design - Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

Kindermann, Roland, Junttila, Tommi, Niemela, Ilkka

Year:

2011

Language:

english

File:

PDF, 280 KB

english, 2011

11

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Efficient Model Checking of PSL Safety Properties

Launiainen, Tuomas, Heljanko, Keijo, Junttila, Tommi

Year:

2010

Language:

english

File:

PDF, 305 KB

english, 2010

12

Finding Symmetries of Algebraic System Nets

Junttila, Tommi A.

Journal:

Fundamenta Informaticae

Year:

1999

File:

PDF, 1.54 MB

1999

13

The effects of loneliness and social isolation on all-cause, injury, cancer, and CVD mortality in a cohort of middle-aged Finnish men. A prospective study

Kraav, Siiri-Liisi, Awoyemi, Olutosin, Junttila, Niina, Vornanen, Riitta, Kauhanen, Jussi, Toikko, Timo, Lehto, Soili M., Hantunen, Sari, Tolmunen, Tommi

Journal:

Aging & Mental Health

Year:

2020

File:

PDF, 1.28 MB

2020

14

Partitioning Search Spaces of a Randomized Search

HyvÃ¤rinen, Antti E.J., Junttila, Tommi, NiemelÃ¤, Ilkka

Journal:

Fundamenta Informaticae

Year:

2011

File:

PDF, 423 KB

2011

15

Incorporating Clause Learning in Grid-Based Randomized SAT Solving1

HyvÃ¤rinen, Antti E.J., Junttila, Tommi, NiemelÃ¤, Ilkka, Hamadi, Youssef

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2009

File:

PDF, 782 KB

2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски